Tools: an environment for time-shared computing and programmingELLIS, J. R; MISHKIN, N; VAN LEUNEN, M.-C et al.Software, practice & experience. 1983, Vol 13, Num 10, pp 873-892, issn 0038-0644Article

A Mathematica-Based Hydrodynamics ModelHRABOVSKY, George E.Scientific computing. International conferenceWorldComp'2010. 2010, pp 302-303, isbn 1-60132-137-6, 2 p.Conference Paper

Integrated program measurement and documentation toolsSCHROEDER, Anne.Rapports de recherche - INRIA. 1983, Num 227, issn 0249-6399, 26 p.Report

Server based migration of parallel applicationsKOVACS, Jozsef; KACSUK, Peter.DAPSYS workshop. 2002, pp 30-37, isbn 1-4020-7209-0, 8 p.Conference Paper

Literate programmingSPOTNITZ, R.Computers & chemical engineering. 1998, Vol 22, Num 12, pp 1745-1747, issn 0098-1354Article

Experience with access functions in an experimental compilerRIS, F. N.IBM journal of research and development. 1984, Vol 28, Num 1, pp 40-51, issn 0018-8646Article

The design of an interactive program development system for PascalNORDSTRÖM, B; WIKSTRÖM, Å.Software, practice & experience. 1984, Vol 14, Num 2, pp 177-190, issn 0038-0644Article

Program design in the UNIX environmentPIKE, R; KERNIGHAN, B. W.AT&T Bell Laboratories technical journal. 1984, Vol 63, Num 8, pp 1595-1605, 2Article

Transfert de données arborescentes dans une architecture distribuée pour Centaur (environnement de programmation pour ASN.1) = Tree transfer in a distributed architecture for Centaur - An ASN.1 programming environment (evolution of the distributed architecture of Centaur : propositions)Dery, A.M.1993, 111 p.Report

Automatic deletion of obsolete informationHABERMANN, A. N.The Journal of systems and software. 1985, Vol 5, Num 2, pp 145-154, issn 0164-1212Article

The GANDALF projectNOTKIN, D.The Journal of systems and software. 1985, Vol 5, Num 2, pp 91-105, issn 0164-1212Article

Using Ada for discrete event simulationBRUNO, G.Software, practice & experience. 1984, Vol 14, Num 7, pp 685-695, issn 0038-0644Article

A dabatase model of debuggingPOWELL, M. L; LINTON, M. A.The Journal of systems and software. 1983, Vol 3, Num 4, pp 295-300, issn 0164-1212Article

Programming with GhostsCALLAU, Oscar; TANTER, Eric.IEEE software. 2013, Vol 30, Num 1, pp 74-80, issn 0740-7459, 7 p.Article

Essential Elements of a Component-Based Development Environment for the Software SupermarketPYNE, Richard A; MUGISA, Ezra K.IEEE Southeastcon. 2004, pp 173-180, isbn 0-7803-8367-2, 1Vol, 8 p.Conference Paper

Smarter recompilationSCHWANKE, R. W; KAISER, G. E.ACM transactions on programming languages and systems. 1988, Vol 10, Num 4, pp 627-632, issn 0164-0925Article

A programming process architectureRADICE, R. A; ROTH, N. K; O'HARA, A. C. JR et al.IBM systems journal. 1985, Vol 24, Num 2, pp 79-90, issn 0018-8670Article

Symbolic debugging through incremental compilation in an integrated environmentFRITZSON, P.The Journal of systems and software. 1984, Vol 3, Num 4, pp 285-294, issn 0164-1212Article

Les Environnements de programmation: description et perspectives = Programming environment: description and perspectivesDIRLEWANGER, Roland.1983, 93 fThesis

Why doesn't anyone use formal methods?SCHULTE, Wolfram.Lecture notes in computer science. 2000, pp 297-298, issn 0302-9743, isbn 3-540-41196-8Conference Paper

Eraser : A dynamic data race detector for multithreaded programsSAVAGE, S; BURROWS, M; NELSON, G et al.ACM transactions on computer systems. 1997, Vol 15, Num 4, pp 391-411, issn 0734-2071Conference Paper

Les environnements de programmation = Programming environmentsKAHN, G.Le Courrier du C.N.R.S. 1993, Num 80, issn 0153-985X, p. 40Article

Program locality of vectorized applications running on the IBM 3090 with vector facilitySO, K; ZECCA, V.IBM systems journal. 1988, Vol 27, Num 4, pp 436-452, issn 0018-8670Article

CHILL concurrency of Intel iAPX 432 architectureCATTANEO, G; PIURI, V; SCARABOTTOLO, N et al.Microprocessing and microprogramming. 1985, Vol 15, Num 5, pp 233-251, issn 0165-6074Article

Abstracts of the sessions/Workshop on operating systems in computer networks, Rüschlikon, Switzerland, January 28-30, 1985Operating systems review. 1985, Vol 19, Num 2, pp 6-39, issn 0163-5980Conference Proceedings